From: Dan Winship <danw@src.gnome.org>
Date: Wed, 21 Jan 2009 21:59:58 +0000 (+0000)
Subject: fix workspaces padding a little. (it's still not quite right)
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~11482
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=90bce45ec66acf8330ee311d7f50ef19fa96c762;p=gnome-shell.git

fix workspaces padding a little. (it's still not quite right)

svn path=/trunk/; revision=160
---

diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js
index 975d30bb9..99d393bfc 100644
--- a/js/ui/workspaces.js
+++ b/js/ui/workspaces.js
@@ -524,7 +524,8 @@ Workspaces.prototype = {
         let screenWidth = global.screen_width;
         let screenHeight = global.screen_height;
 
-        this._width = screenWidth * Overlay.WORKSPACE_GRID_SCALE;
+        this._width = screenWidth * Overlay.WORKSPACE_GRID_SCALE -
+            2 * Overlay.WORKSPACE_GRID_PADDING;
         this._height = screenHeight * Overlay.WORKSPACE_GRID_SCALE;
         this._x = screenWidth - this._width - Overlay.WORKSPACE_GRID_PADDING;
         this._y = Panel.PANEL_HEIGHT + (screenHeight - this._height - Panel.PANEL_HEIGHT) / 2;